5

A model and temporal proof system for networks of processes

Year:
1986
Language:
english
File:
PDF, 1.72 MB
english, 1986
7

In-situ inversion of a cyclic permutation

Year:
1987
Language:
english
File:
PDF, 256 KB
english, 1987
14

The Airy fiber: an optical fiber that guides light diffracted by a circular aperture

Year:
2016
Language:
english
File:
PDF, 1.60 MB
english, 2016